ecl{-}trans{-}type($A$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($A$)